大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Computer Arithmetic 15th Asilomar July 的图书(共3099本)

User Modeling, Adaption and Personalization [electronic resource] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings

0
索取号:
作者:Konstan、 Joseph A.、Conejo、 Ricardo.、Marzo、 Jos茅 L.、Oliver、 Nuria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

0
索取号:
作者:Leite、 Jo茫o.、Torroni、 Paolo.、脜gotnes、 Thomas.、Boella、 Guido.、Torre、 Leon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Scientific and Statistical Database Management [electronic resource] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings

0
索取号:
作者:Bayard Cushing、 Judith.、French、 James.、Bowers、 Shawn.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Data and Applications Security and Privacy XXV [electronic resource] : 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings

0
索取号:
作者:Li、 Yingjiu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

0
索取号:
作者:Mauri、 Giancarlo.、Leporati、 Alberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号:
作者:Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

0
索取号:
作者:Fischer-H眉bner、 Simone.、Hopper、 Nicholas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

0
索取号:
作者:Bouchou-Markhoff、 B茅atrice.、Caron、 Pascal.、Champarnaud、 Jean-Marc.、Maurel、 Denis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Artificial Intelligence in Medicine [electronic resource] : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings

0
索取号:
作者:Peleg、 Mor.、Lavra膷、 Nada.、Combi、 Carlo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

0
索取号:
作者:Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

0
索取号:
作者:Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Networked Digital Technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings

0
索取号:
作者:Fong、 Simon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Building Innovation Pipelines through Computer-Aided Innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 鈥ʵly 1, 2011. Proceedings

0
索取号:
作者:Cavallucci、 Denis.、Guio、 Roland.、Cascini、 Gaetano.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

0
索取号:
作者:Mohamad Zain、 Jasni.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

0
索取号:
作者:Br眉nnler、 Kai.、Metcalfe、 George.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

0
索取号:
作者:Gopalakrishnan、 Ganesh.、Qadeer、 Shaz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类